When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide?
نویسندگان
چکیده
منابع مشابه
Quantale-valued fuzzy Scott topology
The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...
متن کاملThe Scott Topology . Part II
The following propositions are true: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and ⋃ G = ⋃ F and for every subset g of X such that g ∈ G holds g 6⊆ ⋃ (G \ {g}). (2) Let S be a 1-sorted structure and X be a subset of the carrier of S. Then −X = the carrier of S if and only if X is empty. (3) Let R be an antisy...
متن کاملThe Scott Topology . Part II 1
Mizar formalization of pp. 105–108 of [10] which continues [27]. We found a simplification for the proof of Corollary 1.15, in the last case, see the proof in the Mizar article for details. One can prove the following propositions: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and G = F and for every subset g of ...
متن کامل$LG$-topology
In this paper, we introduce a new model of point free topology for point-set topology. We study the basic concepts in this structure and will find that it is naturally close to point-set topology.
متن کاملTopology coloring
The purpose of this study is to show how topological surfaces are painted in such a way that the colors are borderless but spaced with the lowest color number. That a surface can be painted with at least as many colors as the condition of defining a type of mapping with the condition that it has no fixed point. This mapping is called color mapping and is examined and analyzed in differe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1995
ISSN: 0002-9947
DOI: 10.2307/2154759